翻訳と辞書 Words near each other ・ "O" Is for Outlaw ・ "O"-Jung.Ban.Hap. ・ "Ode-to-Napoleon" hexachord ・ "Oh Yeah!" Live ・ "Our Contemporary" regional art exhibition (Leningrad, 1975) ・ "P" Is for Peril ・ "Pimpernel" Smith ・ "Polish death camp" controversy ・ "Pro knigi" ("About books") ・ "Prosopa" Greek Television Awards ・ "Pussy Cats" Starring the Walkmen ・ "Q" Is for Quarry ・ "R" Is for Ricochet ・ "R" The King (2016 film) ・ "Rags" Ragland ・ ! (album) ・ ! (disambiguation) ・ !! ・ !!! ・ !!! (album) ・ !!Destroy-Oh-Boy!! ・ !Action Pact! ・ !Arriba! La Pachanga ・ !Hero ・ !Hero (album) ・ !Kung language ・ !Oka Tokat ・ !PAUS3 ・ !T.O.O.H.! ・ !Women Art Revolution Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Steiner surface ： ウィキペディア英語版 Roman surface The Roman surface or Steiner surface (so called because Jakob Steiner was in Rome when he thought of it) is a self-intersecting mapping of the real projective plane into three-dimensional space, with an unusually high degree of symmetry. This mapping is not an immersion of the projective plane; however, the figure resulting from removing six singular points is one. The simplest construction is as the image of a sphere centered at the origin under the map ''f''(''x'',''y'',''z'') = (''yz'',''xz'',''xy''). This gives an implicit formula of :$x^2\; y^2\; +\; y^2\; z^2\; +\; z^2\; x^2\; -\; r^2\; x\; y\; z\; =\; 0.\; \backslash ,$ Also, taking a parametrization of the sphere in terms of longitude (θ) and latitude (φ), gives parametric equations for the Roman surface as follows: :''x'' = ''r''2 cos θ cos φ sin φ :''y'' = ''r''2 sin θ cos φ sin φ :''z'' = ''r''2 cos θ sin θ cos2 φ. The origin is a triple point, and each of the ''xy''-, ''yz''-, and ''xz''-planes are tangential to the surface there. The other places of self-intersection are double points, defining segments along each coordinate axis which terminate in six pinch points. The entire surface has tetrahedral symmetry. It is a particular type (called type 1) of Steiner surface, that is, a 3-dimensional linear projection of the Veronese surface. ==Derivation of implicit formula== For simplicity we consider only the case ''r'' = 1. Given the sphere defined by the points (''x'', ''y'', ''z'') such that :$x^2\; +\; y^2\; +\; z^2\; =\; 1,\backslash ,$ we apply to these points the transformation ''T'' defined by $T(x,\; y,\; z)\; =\; (y\; z,\; z\; x,\; x\; y)\; =\; (U,V,W),\backslash ,$ say. But then we have :$$ \begin U^2 V^2 + V^2 W^2 + W^2 U^2 & = z^2 x^2 y^4 + x^2 y^2 z^4 + y^2 z^2 x^4 = (x^2 + y^2 + z^2)(x^2 y^2 z^2) \\() & = (1)(x^2 y^2 z^2) = (xy) (yz) (zx) = U V W, \end and so $U^2\; V^2\; +\; V^2\; W^2\; +\; W^2\; U^2\; -\; U\; V\; W\; =\; 0\backslash ,$ as desired. Conversely, suppose we are given (''U'', ''V'', ''W'') satisfying ( *) $U^2\; V^2\; +\; V^2\; W^2\; +\; W^2\; U^2\; -\; U\; V\; W\; =\; 0.\backslash ,$ We prove that there exists (''x'',''y'',''z'') such that ( * *) $x^2\; +\; y^2\; +\; z^2\; =\; 1,\backslash ,$ for which $U\; =\; x\; y,\; V\; =\; y\; z,\; W\; =\; z\; x,\backslash ,$ with one exception: In case 3.b. below, we show this cannot be proved. 1. In the case where none of ''U'', ''V'', ''W'' is 0, we can set :$x\; =\; \backslash sqrt\},\backslash \; y\; =\; \backslash sqrt\},\backslash \; z\; =\; \backslash sqrt\}.\backslash ,$ (Note that ( *) guarantees that either all three of U, V, W are positive, or else exactly two are negative. So these square roots are of positive numbers.) It is easy to use ( *) to confirm that ( * *) holds for ''x'', ''y'', ''z'' defined this way. 2. Suppose that ''W'' is 0. From ( *) this implies $U^2\; V^2\; =\; 0\backslash ,$ and hence at least one of ''U'', ''V'' must be 0 also. This shows that is it impossible for exactly one of ''U'', ''V'', ''W'' to be 0. 3. Suppose that exactly two of ''U'', ''V'', ''W'' are 0. Without loss of generality we assume ( * * *)$U\; \backslash neq\; 0,\; V\; =\; W\; =\; 0.\backslash ,$ It follows that $z\; =\; 0,\backslash ,$ (since $z\; \backslash neq\; 0,\backslash ,$ implies that $x\; =\; y\; =\; 0,\backslash ,$ and hence $U\; =\; 0,\backslash ,$ contradicting ( * * *).) a. In the subcase where :$|U|\; \backslash leq\; \backslash frac,$ if we determine ''x'' and ''y'' by :$x^2\; =\; \backslash frac$ and $y^2\; =\; \backslash frac,$ this ensures that ( *) holds. It is easy to verify that $x^2\; y^2\; =\; U^2,\backslash ,$ and hence choosing the signs of ''x'' and ''y'' appropriately will guarantee $x\; y\; =\; U.\backslash ,$ Since also $y\; z\; =\; 0\; =\; V\backslash textz\; x\; =\; 0\; =\; W,\backslash ,$ this shows that this subcase leads to the desired converse. b. In this remaining subcase of the case 3., we have $|U|\; >\; \backslash frac.$ Since $x^2\; +\; y^2\; =\; 1,\backslash ,$ it is easy to check that $xy\; \backslash leq\; \backslash frac,$ and thus in this case, where $|U|\; >1/2,\backslash \; V\; =\; W\; =\; 0,$ there is no (''x'', ''y'', ''z'') satisfying $U\; =\; xy,\backslash \; V\; =\; yz,\backslash \; W\; =zx.$ Hence the solutions (''U'', 0, 0) of the equation ( *) with $|U|\; >\; \backslash frac12$ and likewise, (0, ''V'', 0) with $|V|\; >\; \backslash frac12$ and (0, 0, ''W'') with $|W|\; >\; \backslash frac12$ (each of which is a noncompact portion of a coordinate axis, in two pieces) do not correspond to any point on the Roman surface. 4. If (''U'', ''V'', ''W'') is the point (0, 0, 0), then if any two of ''x'', ''y'', ''z'' are zero and the third one has absolute value 1, clearly $(xy,\; yz,\; zx)\; =\; (0,\; 0,\; 0)\; =\; (U,\; V,\; W)\backslash ,$ as desired. This covers all possible cases. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Roman surface」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.